Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

This chapter talks about the power of music, how characters in South Park use it in telling stories, and how music conveys ideas in the context of Western philosophy. But South Park does raise questions about music that philosophers— particularly Plato—have dealt with again and again. Despite their flaws, these Greek thinkers' views were instrumental to asking questions about music's impact (often referred to as ethos), its mathematical properties in relation to the universe, and how these two aspects interact with (...) one another. Phil Collins and Asia may not survive history's merciless aesthetic filter, just as the aulos instrument vanished long ago, but where the underlying philosophy is concerned, the issues are timeless. (shrink)

Arthur Norman Prior's early theological writings have been relatively neglected for many years. Moreover, to the extent that they have been discussed at all they have been treated mainly as youthful work quite separate from Prior's later work as a philosopher and logician. However, as interest in Prior's achievements has been growing significantly in recent years it has become more important to investigate the development with his overall work. In fact, Prior's putatively "youthful" theological work overlapped his work as a (...) philosopher and logician for many years, as is richly documented by examples discussed in this paper. A particularly important theme is the problem of predestination. This paper presents comprehensive evidence that this theme, which was Prior's most important single preoccupation as a theological writer, was a most important source of inspiration for his development of tense logic. Via questions regarding divine foreknowledge and human free will, predestination was to motivate Prior as a logician to focus on time and tense. Whilst investigating this development, the paper also traces Prior's parallel development from Calvinist Christian believer to a more agnostic position. (shrink)

The purpose of this study was to investigate nurses’ decisions about priorities in home-based nursing care. Qualitative research interviews were conducted with 17 nurses in home-based care. The interviews were analyzed and interpreted according to a hermeneutic methodology. Nurses describe clinical priorities in home-based care as rationing care to mind the gap between an extensive workload and staff shortages. By organizing home-based care according to tight time schedules, the nurses’ are able to provide care for as many patients as possible. (...) Furthermore, legal norms set boundaries for clinical priority decisions, resulting in marginalized care. Hence, rationing care jeopardizes important values in the nurse-patient relationship, in particular the value of individualized and inclusive nursing care. The findings are highly relevant for clinical practice, since they have major implications for provision of nursing care. They revive debates about the protection of values and standards of care, and nurses’ role and responsibility when resources are limited. (shrink)

Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. However, his work in logic had a much broader scope. He was also the founder of hybrid logic, and he made important contributions to deontic logic, modal logic, the theory of quantification, the nature of propositions and (...) the history of logic. In addition, he discussed questions of ethics, free will, and general theology. Prior’s philosophical works comprise about 200 titles. His earliest articles center on philosophical theology and historical studies of Scottish Reformed Theology. This led on to the publication of his first influential work on ethics: Logic and The Basis of Ethics (1949). With the invention of tense-logic in the early 1950s, his focus shifted to investigations into the syntax of tempo-modal logic leading to his seminal Time and Modality (1957), a volume derived from his John Locke Lectures in Oxford in 1956. Furthermore Prior, together with the Irish mathematician and logician C.A. Meredith (1904-76), made important early contributions to the semantics of possible worlds. Prior’s tense-logic provided a strong conceptual framework for problems pertaining to the philosophy of time. In Time and Modality, Prior discussed the philosophical implications of Ruth Barcan’s famous formulae for tense-logic, and in the 1960s he worked on the notion of the present. The most persistent problem running through Prior’s work is his study of the questions surrounding human freedom and divine foreknowledge, and more general philosophical problems emerging from this classical theological question. His thorough analysis of this problem, with the conceptual tools of tense-logic, received a crucial impetus from his correspondence with the young Saul Kripke, when the latter suggested the semantic tool of branching time to Prior. Prior’s development of two solutions based on branching time for the problem of future contingency, the Peircean and the Ockham solution, was most thoroughly developed in Past, Present and Future (1967), the most important work published by Prior. Characteristically for Prior’s methodological approach, the development of these two solutions were at the same time a development of two new systems of tense logic, and vice versa. One of Prior’s significant contributions to logic was his work on world propositions and instant propositions. In the course of developing these notions he also made one of the earliest formulations of hybrid logic. In Papers on Time and Tense (1968), he presented this idea in a more detailed manner in the context of his four grades of tense-logical involvement. (shrink)

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

In this article we report findings from a qualitative study that explored how doctors and nurses in nursing homes describe professional collaboration around dying patients. The study also examined the consequences this can have for the life-prolonging treatment of patients and the care of them and their relatives. Nine doctors and 10 nurses from 10 Norwegian nursing homes were interviewed about their experience of decision-making processes on life-prolonging treatment and care. The findings reveal that the frameworks for the professional collaboration (...) and organization of physicians and nurses prevent patient treatment and care complying with ethical considerations and the law. These conditions have a challenging impact on the care of dying patients and their relatives. (shrink)

As the pressure on available health care resources grows, an increasing moral challenge in intensive care is to secure a fair distribution of nursing care and medical treatment. The aim of this article is to explore how limited resources influence nursing care and medical treatment in intensive care, and to explore whether intensive care unit clinicians use national prioritization criteria in clinical deliberations. The study used a qualitative approach including participant observation and in-depth interviews with intensive care unit physicians and (...) nurses working at the bedside. Scarcity of resources regularly led to suboptimal professional standards of medical treatment and nursing care. The clinicians experienced a rising dilemma in that very ill patients with a low likelihood of survival were given advanced and expensive treatment. The clinicians rarely referred to national priority criteria as a rationale for bedside priorities. Because prioritization was carried out implicitly, and most likely partly without the clinician's conscious awareness, central patient rights such as justice and equality could be at risk. (shrink)

The aim of this article is to generate knowledge about parents’ participation in life-and-death decisions concerning their very premature and/or critically ill infants in hospital neonatal units. The question is: what are parents’ attitudes towards their involvement in such decision making? A descriptive study design using in-depth interviews was chosen. During the period 1997-2000, 20 qualitative interviews with 35 parents of 26 children were carried out. Ten of the infants died; 16 were alive at the time of the interview. The (...) comparative method (grounded theory) was used to analyse the data. The analysis was carried out continuously and in parallel with data collection. Six categories were revealed by the analysis: indecision and uncertainty (ambivalence); information and communication; participate, but do not decide; seeming to be included; the parents’ child; and individual consideration. The findings appear to indicate that parents agree that they should not have the final word in decisions concerning their infants’ future life or death. Such a responsibility would put too heavy a burden on parents who lack the medical knowledge and the professional experience needed to make such a decision, and would be likely to lead to them experiencing strong feelings of guilt. The findings show that parents should be well informed and listened to during the whole decision-making process. Their primary concern was how nurses and physicians communicate with parents who are experiencing a crisis, and how this serious information is presented. (shrink)

We examined whether positive and negative affect motivates verbal and spatial working memory processes, respectively, which have implications for the expenditure of mental effort. We argue that when emotion promotes cognitive tendencies that are goal incompatible with task demands, greater cognitive effort is required to perform well. We sought to investigate whether this increase in cognitive effort impairs behavioural control over a broad domain of self-control tasks. Moreover, we predicted that individuals with higher behavioural inhibition system (BIS) sensitivities would report (...) more negative affect within the goal incompatible conditions because such individuals report higher negative affect during cognitive challenge. Positive or negative affective states were induced followed by completing a verbal or spatial 2-back working memory task. All participants then completed one of three self-control tasks. Overall, we observed that conditions of emotion and working memory incompatibility (positive/spatial and negative/verbal) performed worse on the self-control tasks, and within the incompatible conditions individuals with higher BIS sensitivities reported more negative affect at the end of the study. The combination of findings suggests that emotion and working memory compatibility reduces cognitive effort and impairs behavioural control. (shrink)

An ideal in mental health care is user participation. This implies inclusion and facilitation by clinicians to enable users to participate in decisions about themselves and in the design of suitable treatment. However, much of the work of clinicians consists of handovers and other meetings where patients are not present. It is therefore interesting to study how the patient perspective is handled in such meetings and whether it forms a basis for user participation. We conducted fieldwork in three different inpatient (...) wards in Norwegian District Psychiatric Centres. We used an interactional perspective in our analysis, where speech acts, framing and footing were key concepts. The findings show that the talk in the handovers and meetings contained five main themes and that there was a clear correlation between what was said and how it was said, and whether clinicians related to the content in a decisive, person‐centred or indecisive manner. We discuss potential participation statuses for patients and their limited opportunity to influence the talk and possible decisions about themselves. Our conclusion is that handover meetings primarily function as an aid in organising clinicians' work and could ultimately be seen as counteracting user participation. (shrink)

Abolitionism is the view that if no one is responsible, we ought to abandon the reactive attitudes. This paper defends abolitionism against the claim, made by P.F. Strawson and others, that abandoning these attitudes precludes the formation and maintenance of valuable personal relationships. These anti-abolitionists claim that one who abandons the reactive attitudes is unable to take personally others’ attitudes and actions regarding her, and that taking personally is necessary for certain valuable relationships. I dispute both claims and argue that (...) this objection exaggerates the role of the reactive attitudes and underestimates the importance of non-reactive moral emotions. (shrink)

It has been argued, by Penrose and others, that Gödel's proof of his first incompleteness theorem shows that human mathematics cannot be captured by a formal system F: the Gödel sentence G(F) of F can be proved by a (human) mathematician but is not provable in F. To this argment it has been objected that the mathematician can prove G(F) only if (s)he can prove that F is consistent, which is unlikely if F is complicated. Penrose has invented a new (...) argument intended to avoid this objection. In the paper I try to show that Penrose's new argument is inconclusive. (shrink)

På husmuren i Rue Jussieu, hvor et af Paris' universiteter holder til, kan man læse følgende grafitiske memento: La femme comme objet sexuel est le point noir de l'humanite.

Standard tools used in societal risk management such as probabilistic risk analysis or cost–benefit analysis typically define risks in terms of only probabilities and consequences and assume a utilitarian approach to ethics that aims to maximize expected utility. The philosopher Carl F. Cranor has argued against this view by devising a list of plausible aspects of the acceptability of risks that points towards a non-consequentialist ethical theory of societal risk management. This paper revisits Cranor’s list to argue that the alternative (...) ethical theory responsibility-catering prioritarianism can accommodate the aspects identified by Cranor and that the elements in the list can be used to inform the details of how to view risks within this theory. An approach towards operationalizing the theory is proposed based on a prioritarian social welfare function that operates on responsibility-adjusted utilities. A responsibility-catering prioritarian ethical approach towards managing risks is a promising alternative to standard tools such as cost–benefit analysis. (shrink)

In consulatu sexto et septimo postquam bella civilia exstinxeram per consensum universorum [potitus rerum own]ium rem publicam ex mea potestate in senat[us populique Romani a]rbitrium transtuli. There is very little doubt about the reading of the Latin text, except that the Greek has suggested to Schönbauer that ‘compos’ should be read for ‘potitus’. He urges that ‘compos’ has a ‘milder meaning’ than ‘potitus’ and has no connotation of the use of force. The change to ‘compos’ is worthy of consideration, but (...) suggests that the Latin ran ‘compos factus’ if ‘compos’ was used, and the phrase ‘compos factus’, though good Augustan Latin, is perhaps too retarding in rhythm to fit this place, though to that stylistic feeling too much weight should not be assigned. (shrink)

Standard tools used in societal risk management such as probabilistic risk analysis or cost–benefit analysis typically define risks in terms of only probabilities and consequences and assume a utilitarian approach to ethics that aims to maximize expected utility. The philosopher Carl F. Cranor has argued against this view by devising a list of plausible aspects of the acceptability of risks that points towards a non-consequentialist ethical theory of societal risk management. This paper revisits Cranor’s list to argue that the alternative (...) ethical theory responsibility-catering prioritarianism can accommodate the aspects identified by Cranor and that the elements in the list can be used to inform the details of how to view risks within this theory. An approach towards operationalizing the theory is proposed based on a prioritarian social welfare function that operates on responsibility-adjusted utilities. A responsibility-catering prioritarian ethical approach towards managing risks is a promising alternative to standard tools such as cost–benefit analysis. (shrink)

OBJECTIVE: To ascertain attitudes to different methods of obtaining informed consent for randomised clinical trials (RCTs). DESIGN: Structured interviews with members of the public, medical secretaries and medical students. SETTING: The public were approached in a variety of public places. Medical secretaries and students were approached in their place of work. SUBJECTS: Fifty members of the public, 25 secretaries and 25 students. MAIN OUTCOME MEASURES: Views on RCTs were elicited, with particular emphasis on how subjects thought the concept of randomisation (...) should be explained. Each participant was presented with descriptions of proposed clinical trials and asked to select his or her preference from a range of options. RESULTS: Written information was preferred over verbal information in 91% of replies. Most respondents (86%) would prefer to sign a consent form. Of the seven statements explaining randomisation, a significant difference was found in favour of explanations that were less explicit about the play of chance (ANOVA; p = 0.0004). Eighty-three per cent of participants thought that randomised trials were morally acceptable when there was no prior medical preference between treatments. However, over half (55%) thought they would find it upsetting to be offered entry in such a trial and a quarter thought the outcome of treatment might be adversely affected. CONCLUSIONS: Our results offer some support for the idea that "economy with truth" is less unsettling than a frank description of the stark reality of what randomisation means. It is a matter of debate as to whether, if we are correct, autonomy should have precedence over beneficence. The offer of entry in a clinical trial is likely to affect the experience of care for many people, especially if the process of randomisation is described explicitly. Potential participants should be given a detailed written explanation of the rationale for the trial and be asked to sign a consent form if they agree to take part. (shrink)

This article considers some different views of fairness and whether they conflict with the use of a version of Cost Effectiveness Analysis (CEA) that calls for maximizing health benefits per dollar spent. Among the concerns addressed are whether this version of CEA ignores the concerns of the worst off and inappropriately aggregates small benefits to many people. I critically examine the views of Daniel Hausman and Peter Singer who defend this version of CEA and Eric Nord among others who criticize (...) it. I come to focus in particular on the use of CEA in allocating scarce resources to the disabled. (shrink)

Il presente articolo ha come proprio oggetto specifico di indagine la questione dell’allattamento del bambino. L’autore si propone, più specificatamente, di sottolineare i vantaggi dell’allattamento naturale. Questi non si limitano a dei vantaggi per la salute del bambino, ma hanno anche una ricaduta psicologica sul rapporto madre-bambino.

Il gruppo riveste una grande importanza nella crescita del singolo. I valori sociali si strutturano e consolidano attraverso i processi di socializzazione, la formazione di un legame emozionale tra individuo e società, e l’interiorizzazione delle norme, processi e legami questi che si danno nel gruppo. L’articolo offre un’analisi delle fasi, le dinamiche e i percorsi che si danno nello sviluppo del gruppo di animazione, con lo scopo di offrire agli educatori uno strumento valido per l’educazione dei ragazzi. A questo riguardo, (...) in un primo momento, viene analizzata la ricerca fatta dall’individuo per essere accettato all’interno del gruppo quale motivazione primaria per la formazione del gruppo. In seguito, l’articolo si propone di studiare la nascita del gruppo come insieme teso al fare. Infine, verrà preso in considerazione il come si determina la creazione di legami interpersonali da dove sorgono i valori sociali. (shrink)